leaf\_value($t$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Case($t$) Case tree\_leaf($l$) =$>$ $l$ Default =$>$ True